Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets

Designing Control Logic for Counter ow Pipeline Processor Using Petri Nets

Designing Control Logic for Counterrow Pipeline Processor Using Petri Nets

This paper approaches the problem of implementing an asynchronous control for a stage of the Sproull Counterrow pipeline processor (CFPP) as an exercise in combining two synthesis techniques recently developed for Petri nets. We rst synthesise a number of Petri net models of the CFPP stage control from its original \\ve-state-ve-event" description due to C. Molnar. Secondly, we implement these ...

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

Synthesis of Asynchronous Hardware from Petri Nets

As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call for new approaches in the area of behavioural models. This paper focuses on some of recent developments and new opportunities for Petri nets in designing asynchronous circuits such as synthesis of asynchronous control circuits...

Modeling of Continuous Systems Using Modified Petri Nets

Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...